Stichworte: ist der erste november ein feiertag